Decomposition method - PDFSEARCH.IO - Document Search Engine

Decomposition method
Results: 364

#	Item
31	Spectral Graph Theory Lecture 15 Iterative solvers for linear equations Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2012-08-24 09:50:05 Numerical linear algebra Matrix theory Linear algebra Eigenvalues and eigenvectors Singular value decomposition Modified Richardson iteration Conjugate gradient method Eigendecomposition of a matrix
32	SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi (University of Tokyo), Aivar Kripsaar (RWTH Aachen University), Fuyuki Ishikawa (NII, Japan), and Shinichi Honiden Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:56:50 Formal methods B-Method Auguste Rodin Rodin Tsutomu Decomposition Refinement
33	Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth∗ Petr Kolman, Martin Kouteck´ y Department of Applied Mathematics, Faculty of Mathematics and Physics, Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2015-11-27 02:29:00 Tree decomposition Constraint programming Treewidth Dynamical systems Linear algebra Decomposition method Holographic algorithm
34	Augmenting Dual Decomposition for MAP Inference ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2010-11-19 07:20:54 Symbol Subgradient method Measure theory
35	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:51 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
36	PDF Document Add to Reading List Source URL: www.siam.org Language: English - Date: 2013-07-30 14:30:46 Numerical analysis Interpolation Numerical linear algebra Partial differential equations Computational science Polynomial interpolation Numerical integration Relaxation Multigrid method Discrete Fourier transform Numerical differentiation Singular value decomposition
37	Workshop on Efficient Numerical Methods for Partial Differential Equations August 13-18, 2012, Urumqi, China Full Schedule Monday:50-11:00 Add to Reading List Source URL: lsec.cc.ac.cn Language: English - Date: 2012-08-06 05:08:59 Numerical linear algebra Partial differential equations Numerical analysis Domain decomposition methods Multigrid method Wavelets Jinchao Xu Yousef Saad Relaxation Tea Preconditioner Eigenvalues and eigenvectors
38	1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 A* search algorithm Combinatorial optimization Game artificial intelligence Constraint programming Decomposition method Binary decision diagram
39	CONSTRUCTING PACKINGS IN GRASSMANNIAN MANIFOLDS VIA ALTERNATING PROJECTION I. S. DHILLON, R. W. HEATH JR., T. STROHMER, AND J. A. TROPP Abstract. This paper describes a numerical method for finding good packings in Grass Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-09-11 17:01:53 Linear algebra Matrices Functional analysis Matrix theory Differential geometry Grassmannian Orthogonal matrix Singular value decomposition Matrix Projection Vector space Diagonalizable matrix
40	Multi-area control of overlapping areas in power systems for FACTS control Gabriela Hug-Glanzmann∗ , Rudy Negenborn+ , G¨oran Andersson∗ , Bart De Schutter+,o , Hans Hellendoorn+ ∗ + Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2008-11-28 06:49:31 Constraint programming Mathematical optimization Electric power Operations research Power engineering Power-flow study Decomposition method Constrained optimization Economic model Bus